Set-Theoretic Dependence
نویسندگان
چکیده
منابع مشابه
Order-theoretic Invariants in Set-theoretic Topology
We present several results related to van Douwen’s Problem, which asks whether there is homogeneous compactum with cellularity exceeding c, the cardinality of the reals. For example, just as all known homogeneous compacta have cellularity at most c, they satisfy similar upper bounds in terms of Peregudov’s Noetherian type and related cardinal functions defined by order-theoretic base properties...
متن کاملSet Theoretic Real Analysis
This article is a survey of the recent results that concern real functions (from R into R) and whose solutions or statements involve the use of set theory. The choice of the topics follows the author’s personal interest in the subject, and there are probably some important results in this area that did not make it to this survey. Most of the results presented here are left without proofs. 1991 ...
متن کاملGradual Set-Theoretic Types
Problem and motivation. A static type system can be an extremely powerful tool for a programmer, providing early error detection, and offering strong compile-time guarantees on the behavior of a program. However, compared to dynamic typing, static typing often comes at the expense of development speed and flexibility, as statically-typed code might be more difficult to adapt to changing require...
متن کاملSet-theoretic generation of ideals
© Mémoires de la S. M. F., 1989, tous droits réservés. L’accès aux archives de la revue « Mémoires de la S. M. F. » (http:// smf.emath.fr/Publications/Memoires/Presentation.html) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impress...
متن کاملDecision-Theoretic Rough Set Models
Decision-theoretic rough set models are a probabilistic extension of the algebraic rough set model. The required parameters for defining probabilistic lower and upper approximations are calculated based on more familiar notions of costs (risks) through the well-known Bayesian decision procedure. We review and revisit the decision-theoretic models and present new results. It is shown that we nee...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Australasian Journal of Logic
سال: 2015
ISSN: 1448-5052
DOI: 10.26686/ajl.v12i3.2131